home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / quadmidperps.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  1.4 KB  |  41 lines
  1. .geometry "version 0.1";
  2. v1 = .free(0.603283, 0.140903, "1");
  3. v2 = .free(-0.340629, 0.428181, "2");
  4. v3 = .free(-0.589603, -0.201094, "3");
  5. v4 = .free(0.367989, -0.406293, "4");
  6. l1 = .l.vv(v1, v2);
  7. l2 = .l.vv(v2, v3);
  8. l3 = .l.vv(v3, v4);
  9. l4 = .l.vv(v4, v1);
  10. v5 = .v.vvmid(v1, v4, .invisible);
  11. v6 = .v.vvmid(v4, v3, .invisible);
  12. v7 = .v.vvmid(v3, v2, .invisible);
  13. v8 = .v.vvmid(v2, v1, .invisible);
  14. c1 = .c.vv(v6, v4, .invisible);
  15. c2 = .c.vv(v5, v4, .invisible);
  16. c3 = .c.vv(v8, v1, .invisible);
  17. c4 = .c.vv(v7, v3, .invisible);
  18. l5 = .l.vlperp(v7, l2, .invisible, .longline);
  19. l6 = .l.vlperp(v6, l3, .invisible, .longline);
  20. l7 = .l.vlperp(v5, l4, .invisible, .longline);
  21. l8 = .l.vlperp(v8, l1, .invisible, .longline);
  22. v9 = .v.lc(l8, c3, 1);
  23. v10 = .v.lc(l5, c4, 1);
  24. v11 = .v.lc(l6, c1, 1);
  25. v12 = .v.lc(l7, c2, 1);
  26. l9 = .l.vv(v3, v11);
  27. l10 = .l.vv(v11, v4);
  28. l11 = .l.vv(v4, v12);
  29. l12 = .l.vv(v12, v1);
  30. l13 = .l.vv(v1, v9);
  31. l14 = .l.vv(v9, v2);
  32. l15 = .l.vv(v2, v10);
  33. l16 = .l.vv(v10, v3);
  34. l17 = .l.vv(v10, v12, .red);
  35. l18 = .l.vv(v11, v9, .red);
  36. .text("Construct a 45-45-90 triangle on the sides of an arbitrary");
  37. .text("quadrilateral, and connect the opposite apexes of the triangles so");
  38. .text("consturcted (the red lines).  Those lines are the same length,");
  39. .text("and are perpendicular.  You can move any of the points 1, 2, 3,");
  40. .text("and 4 to try the theorem for different quadrilaterals.");
  41.